- function quantifier
- мат.функциональный квантор
English-Russian scientific dictionary. 2008.
function quantifier
Смотреть что такое "function quantifier" в других словарях:
Generalized quantifier — In linguistic semantics, a generalized quantifier is an expression that denotes a property of a property, also called a higher order property. This is the standard semantics assigned to quantified noun phrases, also called determiner phrases, in… … Wikipedia
existential quantifier — Logic. a quantifier indicating that the sentential function within its scope is true for at least one value of the variable included in the quantifier. Also called particular quantifier. Cf. universal quantifier. [1935 40] * * * … Universalium
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
universal quantifier — Logic. a quantifier indicating that the sentential function within its scope is true for all values of any variable included in the quantifier. Cf. existential quantifier. * * * … Universalium
Double exponential function — A double exponential function (red curve) compared to a single exponential function (blue curve). A double exponential function is a constant raised to the power of an exponential function. The general formula is , which grows much more quickly… … Wikipedia
existential quantifier — ex′isten′tial quan′tifier n. logic pho a quantifier indicating that the sentential function within its scope is true for at least one value of the variable included in the quantifier • Etymology: 1935–40 … From formal English to slang
universal quantifier — u′niver′sal quan′tifier n. pho logic a quantifier indicating that the sentential function within its scope is true for all values of any variable included in the quantifier • Etymology: 1935–40 … From formal English to slang
Determiner (function) — A determiner is a noun modifier that expresses the reference of a noun or noun phrase in the context, including quantity, rather than attributes expressed by adjectives. This function is usually performed by articles, demonstratives, possessive… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
